Parametric Analysis of Computer Systems
نویسندگان
چکیده
A general parametric analysis problem which allows the use of parameter variables in both the realtime automata and the specifications is proposed and solved. The analysis algorithm is much simpler and can run more efficiently in average cases than can previous works.
منابع مشابه
Application of Parametric L-Systems to Generate the Figures of Two Series of Spherical Fullerenes
In this work, two parametric L-Systems have been introduced to generate the figures of two series of nanostructures. These series consist of different spherical fullerenes with various number of carbon atoms. By specifying a parameter in each series a spherical fullerene can be determined. The members of the first series are C60 , C240 , C540 , C940 ,… which can be produced by applying paramete...
متن کاملStudy on Unit-Selection and Statistical Parametric Speech Synthesis Techniques
One of the interesting topics on multimedia domain is concerned with empowering computer in order to speech production. Speech synthesis is granting human abilities to the computer for speech production. Data-based approach and process-based approach are the two main approaches on speech synthesis. Each approach has its varied challenges. Unit-selection speech synthesis and statistical parametr...
متن کاملParametric study of a novel oscillatory wind turbine
Clean energy harvesting and usage has gained considerable attention in the last few decades. While the horizontal axis wind turbines have been used extensively, they have certain defects and functional limitations. In the present paper, a novel oscillatory wind turbine is proposed. The conceptual design of the new turbine together with its configuration is explained. Dynamical equations of the ...
متن کاملComprehensive Parametric Study for Design Improvement of a Low-Speed AFPMSG for Small Scale Wind-Turbines
In this paper, a comprehensive parametric analysis for an axial-flux permanent magnet synchronous generator (AFPMSG), designed to operate in a small-scale wind-power applications, is presented, and the condition for maximum efficiency, minimum weight and minimum cost is deduced. Then a Computer-Aided Design (CAD) procedure based on the results of parametric study is proposed. Matching between t...
متن کاملA Parametric Study for Identification of the Variables in Tidally Affected Pond Systems (TECHNICAL NOTE)
In this paper a parametric study was undertaken to quantify the sensitivity Abstract to a wide range of coastal detention pond systems dealing with tidal influence to store surface flood water so as to produce general guidance on the importance of the catchment and pond variables. In this process a specified pond design return period was selected for which the system was to be designed. The pon...
متن کاملA new weighting approach to Non-Parametric composite indices compared with principal components analysis
Introduction of Human Development Index (HDI) by UNDP in early 1990 followed a surge in use of non-parametric and parametric indices for measurement and comparison of countries performance in development, globalization, competition, well-being and etc. The HDI is a composite index of three indicators. Its components are to reflect three major dimensions of human development: longevity, knowledg...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Formal Methods in System Design
دوره 17 شماره
صفحات -
تاریخ انتشار 1997